101. Information, Uncertainty and Fusion
پدیدآورنده: edited by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Information storage and retrieval systems.,Logic, Symbolic and mathematical.,Mathematics.,Microeconomics.
102. Intelligent computer mathematics
پدیدآورنده: / Serge Autexier ... [et al] (eds.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Algebra--Data processing--Congresses,Mathematical analysis--Data processing--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
155
.
7
,.
E4
,
A35
,
2010
103. Intuitionistic Fuzzy Sets
پدیدآورنده: by Krassimir T. Atanassov.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Economics.,Logic, Symbolic and mathematical.
104. Justification logic :
پدیدآورنده: Sergei Artemov (Graduate Center, City University of New York), Melvin Fitting (Graduate Center, City University of New York).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.,Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.
رده :
QA9
.
A78
2019
105. KI 2015
پدیدآورنده: \ [edited by] Steffen Hölldobler...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Artificial intelligence -- Congresses.,هوش مصنوعی-- کنگره‌ها
رده :
Q
336
.
K5
2015
E-Book
,
106. Language and automata theory and applications :
پدیدآورنده: edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
107. Learning language in logic
پدیدآورنده: / James Cussens, Saeso Dezeroski, (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic.,Natural language processing (Computer science),Logic, Symbolic and mathematical.
رده :
QA
,
76
.
9
,.
L63
,
L42
,
2000
108. Learning language in logic
پدیدآورنده: James Cussens, Saso Dzeroski, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer logic,، Natural language processing )Computer science(,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1925
109. Logic Colloquium' 96 :
پدیدآورنده: edited by Jesús M. Larrazabal, Daniel Lascar, Grigori Mints.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
QA9
.
A1
E358
1998
110. Logic, Language and Reasoning
پدیدآورنده: edited by Hans Jürgen Ohlbach, Uwe Reyle.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
111. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده: edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
112. Logic : a foundation for computer science
پدیدآورنده: Sperschneider, V.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
S64
113. Logic : a foundation for computer science
پدیدآورنده: Sperschneider, V.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
S6787
1991
114. Logic and Grammar :
پدیدآورنده: edited by Sylvain Pogodalla, Myriam Quatrini, Christian Retoré.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
P98
.
E358
2011
115. Logic and Grammar :
پدیدآورنده: edited by Sylvain Pogodalla, Myriam Quatrini, Christian Retoré.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
116. Logic and its applications :
پدیدآورنده: Md. Aquil Khan, Amaldev Manuel (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Congresses.,Logic, Symbolic and mathematical.
رده :
QA9
.
A1
I24
2019eb
117. Logic-based artificial intelligence /
پدیدآورنده: edited by Jack Minker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer logic.,Logic, Symbolic and mathematical.,Intelligence artificielle.,Logique informatique.,Logique symbolique et mathématique.,Artificial intelligence.,Computer logic.,Künstliche Intelligenz,Logic, Symbolic and mathematical.,Mathematische Logik
رده :
QA76
.
9
.
L63
L62
2000
118. Logic for problem solving
پدیدآورنده : Kowalski, Robert
موضوع : ، Problem solving,، Electronic digital computer-- Programming,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
119. Logic, language, information and computatio
پدیدآورنده: / Hiroakira Ono, Makoto Kanazawa, Ruy de Queiroz (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical--Congresses
رده :
QA
,
9
,.
A1
,
W64
,
2009
120. Logical Foundations of Cyber-Physical Systems /
پدیدآورنده: by André Platzer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Automatic control.,Computer science.,Industrial safety.,Logic, Symbolic and mathematical.,Mechatronics.,Quality control.,Reliability.,Robotics.,Artificial intelligence.,Automatic control.,Computer science.,Industrial safety.,Logic, Symbolic and mathematical.,Mechatronics.,Quality control.,Reliability.,Robotics.
رده :
QA8
.
9-QA10
.
3
